Synchronous programming languages - PDFSEARCH.IO - Document Search Engine

Synchronous programming languages
Results: 44

#	Item
11	PDF Document Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2014-09-26 02:32:41 Hardware description languages Synchronous programming languages Formal methods Technology Science Systems engineering Lustre Esterel Technologies Software development Safety
12	PDF Document Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2014-09-26 02:32:35 Synchronous programming languages Formal methods Technology Software Lustre Cockpit display system Esterel Technologies Software development Hardware description languages
13	PDF Document Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-24 04:05:10 Software engineering Application software Scientific modeling Synchronous programming languages Mathematical modeling Simulink Esterel Technologies Functional Mock-up Interface SIGNAL Simulation software Hardware description languages Computing
14	PDF Document Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-18 06:17:22 Software engineering Unified Modeling Language Electronic engineering Formal methods Systems engineering Computing Esterel Systems Modeling Language SIGNAL Hardware description languages Synchronous programming languages Esterel Technologies
15	A Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case Study KARIM BARKATI and PIERRE JOUVELOT, CRI, Mathématiques et systèmes, MINES ParisTech, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-31 05:29:15 Software Software synthesizers Programming paradigms Electronic music Visual programming languages Synchronous programming language Domain-specific language SuperCollider Programming language Computing Software engineering Audio programming languages
16	Lucid Synchrone Release, version 3.0 Tutorial and Reference Manual Marc Pouzet April 2006 Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2010-08-22 09:49:20 Functional languages Procedural programming languages Formal methods Hardware description languages Synchronous programming languages Caml SIGNAL Lustre ML Computing Software engineering Computer programming
17	An Overview of Synchronous Languages Olivier Hermant CRI, MINES ParisTech 13 Octobre 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:47:54 Logic in computer science Formal methods Actor model Hardware description languages Synchronous programming languages Denotational semantics Clock Lustre Futures and promises Theoretical computer science Computing Software engineering
18	Technical Data Sheet SCADE Suite® KCG 6.4 IECCertification Kits Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-18 06:23:46 Synchronous programming languages Risk Esterel Kyoto Computer Gakuin IEC 61508 Safety Integrity Level Technischer Überwachungsverein Technology Ethics Safety Esterel Technologies Hardware description languages
19	Technical Data Sheet SCADE LifeCycle is a product line of the ANSYS® Embedded software family of products and solutions that includes Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-16 10:03:50 Technology Systems Modeling Language Esterel Technologies Unified Modeling Language Hardware description languages Synchronous programming languages Telelogic Requirements traceability ARINC 661 Software development Software Software requirements
20	Technical Data Sheet SCADE Display® KCGIECCertification Kits Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-18 06:41:09 Synchronous programming languages Formal methods Risk Esterel Kyoto Computer Gakuin IEC 61508 Software testing Safety Integrity Level Software development process Safety Esterel Technologies Hardware description languages